|
|
| |
From MDD concepts to experiments and illustrations /
Publication:
London : ISTE, 2006
. 222 p. :
24 cm.
Date:2006
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Embedded software design and programming of multiprocessor system-on-chip : , Simulink and SystemC case studies /
Publication:
New York : Springer, 2010
. xv, 231 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Reachability Problems
by Kučera, Antonín.
Publication:
. X, 199p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Abstract State Machines, Alloy, B and Z
by Frappier, Marc.
Publication:
. XIV, 416p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
